Laboratory for Foundations of Computer Science - PDFSEARCH.IO - Document Search Engine

Laboratory for Foundations of Computer Science
Results: 70

#	Item
61	Towards certificate generation for linear heap consumption Lennart Beringer1 , Martin Hofmann2 , Alberto Momigliano1 , Olha Shkaravska2 1 Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinb Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2004-07-28 09:07:42 Philosophical logic Deduction Entailment Logical consequence Metalogic Valuation Modal logic Sheaf Natural deduction Logic Abstract algebra Mathematics
62	Local faith communities and the promotion of resilience in humanitarian situations: a scoping survey Add to Reading List Source URL: www.rsc.ox.ac.uk Language: English - Date: 2013-11-12 14:21:37 Humanitarian aid Disaster preparedness Development Natural disasters Disaster risk reduction Psychological resilience Refugee Studies Centre Laboratory for Foundations of Computer Science Resilience Emergency management Public safety Management
63	UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY First-Year Computer Science ML Exercise Sheets Here are the exercises for the ML Practical Classes. These classes complement the Foundations of Computer Science Lectures given Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-08-05 10:47:13 Functional languages Subroutines Higher-order functions Recursion Procedural programming languages ML Fold Function Closure Software engineering Computing Computer programming
64	Local faith communities and the promotion of resilience in humanitarian situations: a scoping survey Add to Reading List Source URL: mr31.qeh.ox.ac.uk Language: English - Date: 2013-07-26 10:19:47 Humanitarian aid Disaster preparedness Development Natural disasters Disaster risk reduction Psychological resilience Refugee Studies Centre Laboratory for Foundations of Computer Science Resilience Emergency management Public safety Management
65	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
66	Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:54:32 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
67	Semantic Structure for Programming Languages with Effects (a 6-lecture course) Alex Simpson Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-04-17 12:01:03 Models of computation Type theory Computability theory Formal methods Lambda calculus Theoretical computer science Monad Type system FO Software engineering Computer programming Computing
68	Measure, Randomness and Sublocales Alex Simpson Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-07-12 07:35:37 Analysis Sigma-algebra Support Measure Σ-finite measure Model theory Independence Filter Lebesgue measure Measure theory Mathematics Probability theory
69	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics